Nuprl Definition : ccsucc? 11,40
ccsucc?(x) == chain_config_ind(x;ff;ff;id.ff;id,num.tt) 
latex

Definitionschain_config_ind(x;head;tail;id.pred(id);id,num.succ(id;num)), ff, tt
FDL editor aliasesccsucc?

origin